Local Goldblatt–Thomason theorem
نویسندگان
چکیده
منابع مشابه
The Local Limit Theorem: A Historical Perspective
The local limit theorem describes how the density of a sum of random variables follows the normal curve. However the local limit theorem is often seen as a curiosity of no particular importance when compared with the central limit theorem. Nevertheless the local limit theorem came first and is in fact associated with the foundation of probability theory by Blaise Pascal and Pierre de Fer...
متن کاملA local dissipation theorem.
The transient time correlation function is a standard method for measuring transport properties in simulations. It represents a special case of a more general theorem, the dissipation theorem, that indirectly calculates phase function averages though the use of the dissipation function. These indirect averages often have significantly less statistical error than direct averages. Recently, it ha...
متن کاملA local fluctuation theorem
A mechanism for the validity of a local version of the fluctuation theorem, uniform in the system size, is discussed for a reversible chain of weakly coupled Anosov systems.
متن کاملLocal Goldblatt-Thomason theorem
The celebrated theorem proved by Goldblatt and Thomason in 1974 gives necessary and sufficient conditions for an elementary (i.e., first-order definable) class of Kripke frames to be modally definable. Here we obtain a local analogue of this result, where in place of frames we consider n-frames, which are frames with n distinguished worlds. For talking about n-frames, we generalize customary mo...
متن کاملA Local Fluctuation Theorem
The Fluctuation Theorem (FT) gives an analytic expression for the probability, in a nonequilibrium system of finite size observed for a finite time, that the dissipative flux will flow in the reverse direction to that required by the Second Law of Thermodynamics. In the present letter a Local version of the Fluctuation Theorem (LFT), is derived. We find that in the case of planar Poiseuille flo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2015
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzv036